An expansion of Basic Logic with fixed points

نویسنده

  • Luca Spada
چکیده

We introduce an expansion of Basic Logic (BL) with new connectives which express fixed points of continuous formulas, i.e. formulas of BL whose connectives are among {&,∨,∧}. The algebraic semantics of this logic is studied together with some of its subclasses corresponding to extensions of the above-mentioned expansion. The axiomatic extensions are proved to be standard complete.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Diagonal arguments and fixed points

‎A universal schema for diagonalization was popularized by N.S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fi...

متن کامل

An Adaptive Learning Game for Autistic Children using Reinforcement Learning and Fuzzy Logic

This paper, presents an adapted serious game for rating social ability in children with autism spectrum disorder (ASD). The required measurements are obtained by challenges of the proposed serious game. The proposed serious game uses reinforcement learning concepts for being adaptive. It is based on fuzzy logic to evaluate the social ability level of the children with ASD. The game adapts itsel...

متن کامل

ARPN Journal of Systems and Software::Some Fixed Point Theorems on Expansion Type Maps in Intuitionistic Fuzzy Metric Spaces

In this paper, we obtain some results on fixed points of expansion type mapping in intuitionistic fuzzy metric space. Our results are the intuitionistic fuzzy version of some fixed point theorems for expansion type mappings on different metric spaces.

متن کامل

Type-2 fuzzy logic based pitch angle controller for fixed speed wind energy system

In this paper, an interval Type-2 fuzzy logic based pitch angle controller is proposed for fixed speed wind energy system (WES) to maintain the aerodynamic power at its rated value. The pitch angle reference is generated by the proposed controller which can compensate the non-linear characteristics of the pitch angle to the wind speed. The presence of third dimension in the Type-2 fuzzy logic c...

متن کامل

Fixed Fuzzy Points of Fuzzy Mappings in Hausdorff Fuzzy Metric Spaces with Application

Recently, Phiangsungnoen et al. [J. Inequal. Appl. 2014:201 (2014)] studied fuzzy mappings in the framework of Hausdorff fuzzy metric spaces.Following this direction of research, we establish the existence of fixed fuzzy points of fuzzy mappings. An example is given to support the result proved herein; we also present a coincidence and common fuzzy point result. Finally, as an application of ou...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Soft Comput.

دوره 21  شماره 

صفحات  -

تاریخ انتشار 2017